<!DOCTYPE html>
<html>
  <body>This empty html page is used for internal purposes. See fetchSettings() main.js</body>
</html>
